\chapter{Proof of\dots}
\label{app:proof1}

Proof\dots

% Local Variables:
% TeX-master: "main.tex"
% End: